- notation syntaxique
- сущ.
выч. система обозначений для описания синтаксиса
Французско-русский универсальный словарь. 2013.
Французско-русский универсальный словарь. 2013.
notation — [ nɔtasjɔ̃ ] n. f. • 1531 « décision »; lat. notatio 1 ♦ (1750) Action, manière de noter, de représenter par des symboles; système de symboles. Notation des nombres, notation numérique; notation par lettres. Notation littérale, algébrique, créée… … Encyclopédie Universelle
Sel syntaxique — Sucre syntaxique Sucre syntaxique et sel syntaxique sont des expressions utilisées en informatique à propos des langages de programmation. Sucre syntaxique Sucre syntaxique est une expression imaginée par Peter J. Landin pour désigner les… … Wikipédia en Français
Sucre syntaxique — et sel syntaxique sont des expressions utilisées en informatique à propos des langages de programmation. Sucre syntaxique Sucre syntaxique est une expression imaginée par Peter J. Landin pour désigner les extensions à la syntaxe d un langage de… … Wikipédia en Français
POÉTIQUE — Le discours sur la littérature naît en même temps que la littérature même; on en trouvera les premiers échantillons dans tel fragment des Veda ou chez Homère. Ce fait ne saurait provenir d’un hasard: bien qu’il soit difficile de se mettre… … Encyclopédie Universelle
XL (langage) — Traduction à relire XL (programming language) → … Wikipédia en Français
INDEXATION — L’indexation consiste à identifier dans un document certains éléments significatifs qui serviront de clé pour retrouver ce document au sein d’une collection. Ces éléments comprennent le nom de l’auteur, le titre de l’ouvrage, le nom de l’éditeur … Encyclopédie Universelle
LOGIQUE MATHÉMATIQUE — La logique au sens étroit du terme, c’est à dire la logique formelle par opposition à l’épistémologie ou à la théorie de la connaissance, se propose de donner une théorie de l’inférence formellement valide. Elle considère comme valide toute… … Encyclopédie Universelle
Calcul des propositions — Pour les articles homonymes, voir Déduction. Le calcul des propositions ou calcul propositionnel est une théorie logique qui définit les lois formelles du raisonnement. C est la version moderne de la logique stoïcienne. C est aussi la première… … Wikipédia en Français
Infini — Le symbole infini Le mot « infini » ( e, s ; du latin finitus, « limité »), est un adjectif servant à qualifier quelque chose qui n a pas de limite en nombre ou en taille. Sommaire … Wikipédia en Français
Automate fini — Pour les articles homonymes, voir Automate. Fig. 1 : Automate fini reconnaissant les écritures binaires des multiples de 3. Un automate fini (on dit parfois, par une traduction littér … Wikipédia en Français
Grammaire non contextuelle — En linguistique et en informatique, une grammaire non contextuelle, grammaire hors contexte ou grammaire algébrique (type 2 dans la hiérarchie de Chomsky) est une grammaire formelle dans laquelle chaque règle de production (ou simplement… … Wikipédia en Français